67. Computer aided proofo in analysis

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Numerical analysis- Data processing- Congresses

رده :
519
C738

69. Computer aided proofs in analysis

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Numerical analysis- Data processing- Congresses

رده :
297
.
C638

70. Computer aided proofs in analysis

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Numerical analysis-Data processing-Congresses

رده :
QA297
.
C638
1990

71. Computer aided proofs in analysis

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Data processing -- Congresses ، Numerical analysis

رده :
QA
297
.
C638
1991

73. Computer aided proofs in analysis

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Numerical analysis-- Data processing-- Congresses

رده :
QA
297
.
C638
1991

75. Computer arithmetic and self-validating numerical methods

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses

رده :
QA
76
.
9
.
C62
.
C663
1990